Probabilistic Branching in Markovian Process Algebras

We introduce immediate transitions as an extension of Stochastic Process Algebras (SPA). We distinguish two diierent classes of immediate transitions: probabilistic branching and management activities. We discuss both approaches and develop a theory for the probabilistic branching case. Although we use TIPP as a sample language within this paper, the theory can easily be adapted to other Stochastic Process Algebras and can therefore be seen as a general result for probabilistic branching in SPA.